Marc Daumas : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (33)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE Simulation of Computer and Telecommunication Systems (MASCOTS) - Miami Beach, FL, USA (2010.08.17-2010.08.19)] 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems - Barra: A Parallel Functional Simulator for GPGPU

Collange, Sylvain, Daumas, Marc, Defour, David, Parello, David

Année:

2010

Langue:

english

Fichier:

PDF, 812 KB

english, 2010

2

Certification of bounds on expressions involving rounded operators

Daumas, Marc, Melquiond, Guillaume

Journal:

ACM Transactions on Mathematical Software

Année:

2010

Langue:

english

Fichier:

PDF, 275 KB

english, 2010

3

Le luxe aujourd'hui

Bronner, Jean-Claude, Reininger, Claude, Rouget, Michel, Tapies, Jaume, Daumas, Jean-Claude, de Ferrière le Vayer, Marc, Béjean, Mathias

Journal:

Entreprises et histoire

Année:

2007

Langue:

french

Fichier:

PDF, 799 KB

french, 2007

4

A Unified Strategy for the Synthesis of Difluoromethyl- and Vinylfluoride-Containing Scaffolds

Duchemin, Nicolas, Buccafusca, Roberto, Daumas, Marc, Ferey, Vincent, Arseniyadis, Stellios

Journal:

Organic Letters

Année:

2019

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2019

5

Line-by-line spectroscopic simulations on graphics processing units

Sylvain Collange, Marc Daumas, David Defour

Journal:

Computer Physics Communications

Année:

2008

Langue:

english

Fichier:

PDF, 950 KB

english, 2008

6

Preface

Marc Daumas, Nathalie Revol

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 101 KB

english, 2006

7

Additive symmetries: the non-negative case

Marc Daumas, Philippe Langlois

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 164 KB

english, 2003

8

Properties of the subtraction valid for any floating point system

Sylvie Boldo, Marc Daumas

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 161 KB

english, 2002

9

Properties of two’s complement floating point notations

Sylvie Boldo, Marc Daumas

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2004

Langue:

english

Fichier:

PDF, 262 KB

english, 2004

10

Improved bound for stochastic formal correctness of numerical algorithms

Marc Daumas, David Lester, Érik Martin-Dorel, Annick Truffert

Journal:

Innovations in Systems and Software Engineering

Année:

2010

Langue:

english

Fichier:

PDF, 660 KB

english, 2010

11

JAW CLAUDICATION AS AN ATYPICAL MANIFESTATION OF AORTIC THORACIC DISSECTION IN ELDERLY PEOPLE

Stephanie Branger, Aurelie Daumas, Amadou Hadamou, Rodolphe Jean, Laurent Chiche, Jean-Marc Durand, E. Crétel

Journal:

Journal of the American Geriatrics Society

Année:

2008

Langue:

english

Fichier:

PDF, 146 KB

english, 2008

12

Parallel Implementations of the Selection Problem: A Case Study

Marc Daumas, Paraskevas Evripidou

Journal:

International Journal of Parallel Programming

Année:

2000

Langue:

english

Fichier:

PDF, 494 KB

english, 2000

13

Computing on Sequences of Embedded Intervals

David Berthelot, Marc Daumas

Journal:

Reliable Computing

Année:

1997

Langue:

english

Fichier:

PDF, 55 KB

english, 1997

14

Further Reducing the Redundancy of a Notation Over a Minimally Redundant Digit Set

Marc Daumas, David W. Matula

Journal:

Journal of Signal Processing Systems

Année:

2003

Langue:

english

Fichier:

PDF, 203 KB

english, 2003

15

A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials

Sylvie Boldo, Marc Daumas

Journal:

Numerical Algorithms

Année:

2004

Langue:

english

Fichier:

PDF, 131 KB

english, 2004

16

8th Conference on Real Numbers and Computers

Marc Daumas, Javier D. Bruguera

Journal:

Information and Computation

Année:

2012

Langue:

english

Fichier:

PDF, 78 KB

english, 2012

17

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 6408 || A Misleading Attack against Semi-supervised Learning for Intrusion Detection

Torra, Vicenç, Narukawa, Yasuo, Daumas, Marc

Année:

2010

Langue:

english

Fichier:

PDF, 171 KB

english, 2010

18

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 6408 ||

Torra, Vicenç, Narukawa, Yasuo, Daumas, Marc

Année:

2010

Langue:

english

Fichier:

PDF, 6.54 MB

english, 2010

19

[IEEE 2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors - Montreal, QC, Canada (2007.07.9-2007.07.11)] 2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors (ASAP) - Graphic processors to speed-up simulations for the design of high performance solar receptors

Collange, Sylvain, Daumas, Marc, Defour, David

Année:

2007

Langue:

english

Fichier:

PDF, 350 KB

english, 2007

20

[IEEE 2013 46th Hawaii International Conference on System Sciences (HICSS) - Wailea, HI, USA (2013.01.7-2013.01.10)] 2013 46th Hawaii International Conference on System Sciences - Effect of R&D Tax Credit on the Cost-Metrics of Cloud Computing: A Case Study from France

Année:

2013

Langue:

english

Fichier:

PDF, 524 KB

english, 2013

21

[IEEE 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Waikoloa, HI, USA (2007.01.3-2007.01.6)] 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Stochastic Formal Methods: An Application to Accuracy of Numeric Software

Daumas, Marc, Lester, David

Année:

2007

Langue:

english

Fichier:

PDF, 212 KB

english, 2007

22

[Lecture Notes in Computer Science] Modeling Decisions for Artificial Intelligence Volume 6408 || Towards Semantic Microaggregation of Categorical Data for Confidential Documents

Torra, Vicenç, Narukawa, Yasuo, Daumas, Marc

Année:

2010

Langue:

english

Fichier:

PDF, 226 KB

english, 2010

23

GUEST EDITORS' INTRODUCTION

TORRA, VICENÇ, NARUKAWA, YASUO, DAUMAS, MARC

Journal:

International Journal of Uncertainty Fuzziness and Knowledge-Based Systems

Année:

2011

Langue:

english

Fichier:

PDF, 73 KB

english, 2011

24

Comparison of national ZP equations for lean meat percentage assessment in SEUROP pig classification

Font-i-Furnols, Maria, Čandek-Potokar, Marjeta, Daumas, Gerard, Gispert, Marina, Judas, Michael, Seynaeve, Marc

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 2.58 MB

english, 2016

25

Montjoie! Recueil de chansons populaires et chants scouts

Gastoue, A., Boller, Carlo, Daumas, G., de Ranse, Marc, Regrettier, E.-J.

Journal:

Revue de musicologie

Année:

1931

Fichier:

PDF, 165 KB

1931

26

Large-vessel involvement and aortic dilation in giant-cell arteritis. A multicenter study of 549 patients

de Boysson, Hubert, Daumas, Aurélie, Vautier, Mathieu, Parienti, Jean-Jacques, Liozon, Eric, Lambert, Marc, Samson, Maxime, Ebba, Mikael, Dumont, Anael, Sultan, Audrey, Bonnotte, Bernard, Manrique, Al

Journal:

Autoimmunity Reviews

Année:

2018

Langue:

english

Fichier:

PDF, 682 KB

english, 2018

27

Lésions cérébrales non ischémiques prenant le contraste après embolisation d’anévrysmes : le registre de la SFNR

Shotar, Eimad, Labeyrie, Marc-Antoine, Biondi, Alessandra, Velasco, Stéphane, Saliou, Guillaume, Boulouis, Grégoire, Naggara, Olivier, Daumas Duport, Benjamin, Janot, Kevin, Herbreteau, Denis, Michelo

Journal:

Journal of Neuroradiology

Année:

2018

Langue:

french

Fichier:

PDF, 66 KB

french, 2018

28

Corrosion at the carbon steel-clay borehole water interface under anoxic alkaline and fluctuating temperature conditions

Schlegel, Michel L., Necib, Sophia, Daumas, Sylvie, Labat, Marc, Blanc, Cécile, Foy, Eddy, Linard, Yannick

Journal:

Corrosion Science

Année:

2018

Langue:

english

Fichier:

PDF, 12.09 MB

english, 2018

29

MALDI-TOF MS monitoring of PBMC activation status in sepsis

Daumas, Aurélie, Alingrin, Julie, Ouedraogo, Richard, Villani, Patrick, Leone, Marc, Mege, Jean-Louis

Journal:

BMC Infectious Diseases

Année:

2018

Langue:

english

Fichier:

PDF, 3.13 MB

english, 2018

30

Introduction of Cyclopropyl and Cyclobutyl Ring on Alkyl Iodides through Cobalt-Catalyzed Cross-Coupling

Andersen, Claire, Ferey, Vincent, Daumas, Marc, Bernardelli, Patrick, Guérinot, Amandine, Cossy, Janine

Journal:

Organic Letters

Année:

2019

Langue:

english

Fichier:

PDF, 848 KB

english, 2019

31

Different patterns and specific outcomes of large-vessel involvements in giant cell arteritis

de Boysson, Hubert, Liozon, Eric, Espitia, Olivier, Daumas, Aurélie, Vautier, Mathieu, Lambert, Marc, Parienti, Jean-Jacques, Granel, Brigitte, Dumont, Anael, Sultan, Audrey, Manrique, Alain, Saadoun,

Journal:

Journal of Autoimmunity

Année:

2019

Langue:

english

Fichier:

PDF, 544 KB

english, 2019

32

Copper-Catalyzed Cross-Coupling between Alkyl (Pseudo)halides and Bicyclopentyl Grignard Reagents

Andersen, Claire, Ferey, Vincent, Daumas, Marc, Bernardelli, Patrick, GuÃ©rinot, Amandine, Cossy, Janine

Journal:

Organic Letters

Année:

2020

Fichier:

PDF, 903 KB

2020

33

Direct Access to Highly Enantioenriched Î±-Branched Acrylonitriles through a One-Pot Sequential Asymmetric Michael Addition/Retro-Dieckmann/Retro-Michael Fragmentation Cascade

Duchemin, Nicolas, Cattoen, Martin, Gayraud, Oscar, Anselmi, Silvia, Siddiq, Bilal, Buccafusca, Roberto, Daumas, Marc, Ferey, Vincent, Smietana, Michael, Arseniyadis, Stellios

Journal:

Organic Letters

Année:

2020

Fichier:

PDF, 1.22 MB

2020